tools/configure: Check if pixman is present on the system when building QEMU
authorJulien Grall <julien.grall@linaro.org>
Thu, 15 Jan 2015 21:06:18 +0000 (21:06 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Mon, 19 Jan 2015 16:09:57 +0000 (16:09 +0000)
commitbe03989599dcaa75c781e9955b7663f0097a6f60
tree043f32c15de0acfeac550fb097693f8d2ee4413c
parent499cb19b120a6ed4a2a4917b7c9e04170bf7c347
tools/configure: Check if pixman is present on the system when building QEMU

QEMU upstream requires the use of pixman. When pixman is not present the
system, the configure of QEMU will fail with:

ERROR: pixman not present. Your options:
         (1) Preferred: Install the pixman devel package (any recent
             distro should have packages as Xorg needs pixman too).
         (2) Fetch the pixman submodule, using:
             git submodule update --init pixman

I think we can use by default the version on the system. So check it
a Xen configuration time to avoid a build issue later.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>
[ ijc -- reran autogen.sh, adjusted comment ]
tools/configure
tools/configure.ac